Petri Nets Generating Array Languages

Adjunct Hexagonal Array Token Petri Nets and Hexagonal Picture Languages

Adjunct Hexagonal Array Token Petri Net Structures (AHPN) are recently introduced hexagonal picture generating devices which extended the Hexagonal Array Token Petri Net Structures . In this paper we consider AHPN model along with a control feature called inhibitor arcs and compare it with some expressive hexagonal picture generating and recognizing models with respect to the generating power.

Petri Nets, Flat Languages and Linear Arithmetic

We present a method for characterizing the least xed-points of a certain class of Datalog programs in Presburger arithmetic. The method consists in applying some rules of decomposition that transform general sets of computation paths into \\at" ones. We apply the method for expressing the reachability relation of Petri nets as a linear arithmetic formula in order to prove (or disprove) their sa...

The Wadge Hierarchy of Petri Nets omega-Languages

Towards Synthesis of Petri Nets from General Partial Languages

In this paper we investigate synthesis of place/transition Petri nets from three different finite representations of infinite partial languages, generalizing previous results.

Towards Automatically Generating Double-Free Vulnerability Signatures Using Petri Nets